机译:英特尔x86平台中二进制代码自动并行化的应用程序执行路径分析
机译:基于代码模式和向后符号执行的不可行路径检测
机译:动态符号执行中不可行的路径概括
机译:Path Walker:基于LLVM字节码检测的动态符号执行工具
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:Cloudgene:用于私有和公共云上的MapReduce程序的图形执行平台
机译:动态符号执行中的健身指导路径探索
机译:通过基于计算标记图和数据可用性动态分配操作来并行执行基元操作的方法